Hybridization of Institutions
نویسندگان
چکیده
Modal logics are successfully used as specification logics for reactive systems. However, they are not expressive enough to refer to individual states and reason about the local behaviour of such systems. This limitation is overcome in hybrid logics which introduce special symbols for naming states in models. Actually, hybrid logics have recently regained interest, resulting in a number of new results and techniques as well as applications to software specification. In this context, the first contribution of this paper is an attempt to ‘universalize’ the hybridization idea. Following the lines of [16], where a method to modalize arbitrary institutions is presented, the paper introduces a method to hybridize logics at the same institution-independent level. The method extends arbitrary institutions with Kripke semantics (for multi-modalities with arbitrary arities) and hybrid features. This paves the ground for a general result: any encoding (expressed as comorphism) from an arbitrary institution to first order logic (FOL) determines a comorphism from its hybridization to FOL. This second contribution opens the possibility of effective tool support to specification languages based upon logics with hybrid features.
منابع مشابه
Production of genetically male tilapia through interspecific hybridization between Oreochromis niloticus and O. aureus
This study was conducted to produce a high percentage of genetically male tilapia through interspecific hybridization between Nile tilapia, Oreochromis niloticus and Blue tilapia, O. aureus and evaluate sex ratio, productive performance and heterosis of the progeny produced. The results revealed that sex ratios of the progenies of (♀ O. aureus x ♂ O. niloticus) and (♀ O. niloticus x ♂ O. aureus...
متن کاملدورگهسازی در محل؛ اصول و کاربردها : مقاله مروری
In situ hybridization (ISH) is a method that uses labeled complementary single strand DNA or RNA to localize specific DNA or RNA sequences in an intact cell or in a fixed tissue section. The main steps of ISH consist of: probe selection, tissue or sample preparation, pre-hybridization treatment, hybridization and washing, detection and control procedure. Probe selection is one of the important ...
متن کاملHybridization of Samand Vehicle with Minimum Mechanical Modifications
In this paper an idea for hybridization of conventional vehicles has proposed. The case study performed on one of the common vehicles on country roads i.e. Samand. This vehicle has high production volume but low fuel performance therefore hybridization of it could be attractive for its manufacture. This paper aims that the hybridization idea and its structure to need minimum mechanical modifica...
متن کاملRetrospective assessment of radiation dose by Fluorescence In Situ Hybridization and evaluation of stable chromosomal aberrations
Estimation of absorbed dose for radiation workers or person involved in different radiological accident is the aim of biodosimetry. Cytogenetic methods are the most current and applicable biodosimetry tools. In chronic or protracted exposure, fluorescence in situ hybridization (FISH), stable chromosomal aberration is used for estimation of absorbed dose. For precise estimation of absorbed dose,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011